#include<memory.h>

void virtualmem_init() {
	unsigned total_page=get_numpag();
	int i;
	for(i=0;i<16;i++) bitmap[i]=0xFFFFFFFF;
	for(i=16;i<total_page;i++) bitmap[i]=0x00000000;
}

